1. Abstract state machines, B and
المؤلف: / Egon Beorger ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
2. Abstract state machines, B and Z
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
3. Abstract state machines, alloy, B and Z
المؤلف: / Marc Frappier ... [et al.] (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
4. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
المؤلف: Marc Frappier ... ]et al.[ )Eds.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
5. Assembley language programming on the I. B. M. P. C.
المؤلف: Hawksley, Chris
المکتبة: (سمنان)
موضوع: ، I. B. M. personal computer- Programming,، Assembler language )computer program language(
رده :
QA
76
.
8
.
H38
6. B-trees for BASIC
المؤلف: Robertson, Raymond
المکتبة: (طهران)
موضوع: ، BASIC )Computer program language(,، B-trees
رده :
QA
76
.
73
.
B3
R64
1992
7. Basic programming for the I. B. M. personal computer
المؤلف: Diehr, George
المکتبة: (سمنان)
موضوع: ، I. B. M. personal computer- Programming,، Basic )computer program language(
رده :
QA
76
.
8
.
D54
8. Business file processing : COBOL, CICS, and SQL
المؤلف: by James Bradley,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: File organization )Computer science(,COBOL )Computer program language(,CICS )Computer system(,SQL )Computer program language(,Business - Data processing
رده :
QA
.
F5B725
76
.
9
1988
9. Handbook of basic for the I. B. M. P. C., X. T. AT P. S. / 2 and compatibles
المؤلف: Scheider, David I.
المکتبة: (سمنان)
موضوع: ، I. B. M. microcomputers- Programming,، Basic )computer program language(
رده :
QA
76
.
8
.
I1015S36
10. Interactive 3D. computer graphics
المؤلف: Ammeraol, Leendert
المکتبة: (سمنان)
موضوع: ، I. B. M. Microcomputers- Programming,، Computer program language,، Computer graphics
رده :
QA
76
.
8
.
I15A46
11. Learning C]]
المؤلف: Tom Swan
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: C b]] s (Computer program language)
رده :
QA
،
76
.
73
،.
C15
,
S9
،
1991
12. Network programming in .NET. with C++ and Visual Basic .NET
المؤلف: Reid, Fiach.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer networks- Design and construction,، Computer software- Development,، CA )Computer program language(,، Microsoft Visual BASIC,، Microsoft .NET
رده :
TK
5105
.
5
.
R4465
2004
13. Object-oriented software engineering with C++
المؤلف: Ince, D. )Darrel(
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Object-oriented programming,، Software engineering,، C b++ s )Computer program language(
رده :
QA
76
.
64
.
I53
1991
14. Program development by refinement :
المؤلف: E. Sekerinski and K. Sere (eds)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: B (Computer program language)
رده :
QA76
.
73
.
B155
P76
1999
15. Program development by refinement: case studies using the B method
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، B )Computer program language(
رده :
QA
76
.
73
.
B155
.
P76
1999
16. Programming in RPGII: I.B.M. System
المؤلف: [by] Jermoe T. Murray
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: I.B.M. System 3 (computer-Programming),R.P.G. (Computer program language)
رده :
QA
76
.
8
.
I103M86
17. Structured BASIC
المؤلف: / Lawrence S. Orilia,Orilia
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Basic (Computer Program language),Structured Programming,Structured B. A. S. I. C.
رده :
QA
76
.
73
.
B3075
1985
18. Structured programing in assembly language for the I. B. M. PC.
المؤلف: Runnio, William C.
المکتبة: (سمنان)
موضوع: ، I. B. M. personal computer- Programming,، Assembler language )computer program language(,، Structured programing
رده :
QA
76
.
8
.
I2594R86
19. ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
المؤلف: Jonathan P. Bowen...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، B )Computer program language(,Congresses ، Z )Computer program language(
رده :
QA
76
.
L28
Vol
.
1878
20. ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
المؤلف: Didier Bert ... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Z )Computer program language(,Congresses ، B )Computer program language(
رده :
QA
76
.
L28
Vol
.
2272
